舍尔巴茨基(Th.Stcherbatsky)，20世纪上半叶西方佛教学界最著名的俄罗斯学者，是西方佛学彼得堡学派的巨擘。舍氏1866年生在波兰。他少年时代即已掌握英、法、德语；青年时代更熟稔希腊语、拉丁语、希伯来语等；他精通梵文、藏文，了解汉文、日文，足可称为不世出的学者。其学术领域包括印度诗学、古代戏剧、碑铭学、藏学、佛教哲学等。他曾访过中东，到过波斯，在印度和蒙古都居住过，曾拜见过第十三世达赖。他对“第二佛陀”世亲的《俱舍论》、法称的《正理滴论》有着深湛的研究和独到的心解。《大乘佛学》《小乘佛学》和《佛教逻辑》只是他的部分代表作。他是俄国科学院东方学部通讯院士，又是欧洲三个东方学研究团体——英国亚洲学会、巴黎亚洲学会和柏林东方学会——的名誉会员。1942年舍氏逝于前苏联。

While early Buddhists hailed their religion’s founder for opening a path to enlightenment, they also exalted him as the paragon of masculinity. According to Buddhist scriptures, the Buddha’s body boasts thirty-two physical features, including lionlike jaws, thighs like a royal stag, broad shoulders, and a deep, resonant voice, that distinguish him from ordinary men. As Buddhism...(展开全部)

While early Buddhists hailed their religion’s founder for opening a path to enlightenment, they also exalted him as the paragon of masculinity. According to Buddhist scriptures, the Buddha’s body boasts thirty-two physical features, including lionlike jaws, thighs like a royal stag, broad shoulders, and a deep, resonant voice, that distinguish him from ordinary men. As Buddhism...(展开全部)

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstro...(展开全部)

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development i...(展开全部)

Explores additional important decidability results in this thoroughly updated new edition Introduces mathematical logic by analyzing foundational questions on proofs and provability in mathematics Highlights the capabilities and limitations of algorithms and proof methods both in mathematics and computer science Examines advanced topics, such as linking logic with computability...(展开全部)